Semigroup theory

Results: 336



#Item
61

First Joint Meeting Brazil Italy of Mathematics Special Session: Algebraic Geometry over Finite Fields and its Applications to Coding Theory Rio de Janeiro, August 29 - September 02, 2016 Title: Weierstrass semigroup and

Add to Reading List

Source URL: www.sbm.org.br

- Date: 2016-03-04 07:02:06
    62Mathematics / Ergodic theory / Ramsey theory / Semigroup theory / Lemmas / Combinatorics / Piecewise syndetic set / Partition regularity / Syndetic set / Diagonal lemma / IP set / BanachAlaoglu theorem

    BROWN’S LEMMA IN SECOND-ORDER ARITHMETIC EMANUELE FRITTAION Abstract. We show that Brown’s lemma is equivalent to IΣ02 over RCA∗0 . We also show that (the infinite) van der Waerden’s theorem is equivalent to BΣ

    Add to Reading List

    Source URL: www.math.tohoku.ac.jp

    Language: English - Date: 2016-02-20 21:08:30
    63

    Computing with Congruences on Finite 0-Simple Semigroups Michael Torpey 19th May 2014 Abstract Congruences are a core topic of interest in semigroup theory: the homomorphic images of a semigroup

    Add to Reading List

    Source URL: www-circa.mcs.st-and.ac.uk

    Language: English - Date: 2015-09-07 12:17:20
      64Algebra / Abstract algebra / Mathematics / Semigroup theory / Category theory / Monoid / Finitely generated module / Presentation of a monoid / Computability theory / Substitution / Orbifold

      AAECC manuscript No. (will be inserted by the editor) Gr¨ obner Basis Cryptosystems Peter Ackermann and Martin Kreuzer

      Add to Reading List

      Source URL: www.symbcomp.fim.uni-passau.de

      Language: English - Date: 2014-10-23 06:42:14
      65Algebraic structures / Category theory / Order theory / Semigroup theory / Limit / Coproduct / Cardinal number / Product / Complete Heyting algebra / Quotient group / Equivalence class / Monoid

      Coproducts and colimits of κ-quantales R. N. Ball and A. Pultr BLAST 6 June 2010

      Add to Reading List

      Source URL: spot.colorado.edu

      Language: English - Date: 2010-06-10 00:47:20
      66Algebra / Semigroup theory / Mathematics / Algebraic structures / Numerical semigroup / Semigroup / Monoid / Special classes of semigroups / Semigroup with involution

      NUMERICAL SEMIGROUPS MINI-COURSE P. A. GARCÍA-SÁNCHEZ C ONTENTS Lecture 1. Three ways for representing a numerical semigroup. Generalities

      Add to Reading List

      Source URL: www.ugr.es

      Language: English - Date: 2011-11-07 17:44:04
      67Algebra / Abstract algebra / Mathematics / Semigroup theory / Monoid / Monad / Separation logic / Invariant / Modal logic / Free monoid / Syntactic monoid

      Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey

      Add to Reading List

      Source URL: plv.mpi-sws.org

      Language: English - Date: 2015-01-05 15:36:49
      68Semigroup theory / Operator theory / Algebraic structures / Ordinary differential equations / Semigroup / Contraction / Exponentiation / Partial differential equation / C0-semigroup / Heat equation

      Chapter IV First Order Evolution Equations 1

      Add to Reading List

      Source URL: ejde.math.unt.edu

      Language: English - Date: 1999-09-11 01:00:00
      69Mathematics / Logic / Mathematical logic / Model theory / Fibonacci numbers / Algebraic structures / Semigroup theory / Fibonacci word / First-order logic / Semigroup / Interpretation / Combinatory logic

      Tackling Fibonacci words puzzles by finite countermodels Alexei Lisitsa1 Department of Computer Science, The University of Liverpool

      Add to Reading List

      Source URL: cgi.csc.liv.ac.uk

      Language: English - Date: 2013-06-10 17:15:26
      70Algebra / Mathematics / Abstract algebra / Semigroup theory / Algebraic structures / Mathematical logic / Category theory / Monoid / Algorithm / Concurrent algorithm

      Specifying and Verifying 
 Concurrent
 Algorithms with 
 Histories and Subjectivity memoria software v3.qxd

      Add to Reading List

      Source URL: software.imdea.org

      Language: English - Date: 2015-04-16 09:10:05
      UPDATE